Skew Monoidales, Skew Warpings and Quantum Categories

Kornel Szlachányi [28] recently used the term skew-monoidal category for a particular laxi ed version of monoidal category. He showed that bialgebroids H with base ring R could be characterized in terms of skew-monoidal structures on the category of one-sided R-modules for which the lax unit was R itself. We de ne skew monoidales (or skew pseudo-monoids) in any monoidal bicategory M . These are skew-monoidal categories when M is Cat. Our main results are presented at the level of monoidal bicategories. However, a consequence is that quantum categories [10] with base comonoid C in a suitably complete braided monoidal category V are precisely skew monoidales in Comod(V ) with unit coming from the counit of C. Quantum groupoids (in the sense of [6] rather than [10]) are those skew monoidales with invertible associativity constraint. In fact, we provide some very general results connecting opmonoidal monads and skew monoidales. We use a lax version of the concept of warping de ned in [3] to modify monoidal structures.